Component Composition Validation
نویسندگان
چکیده
Many approaches such as component technologies have been invented in order to support software reuse. Based on these technologies a large variety of techniques have been introduced to connect components. However, there is little experience concerning the validation of component systems. We know how to plug components together, but we do need ways to check whether that works. In this paper we introduce an approach to validating component compositions and showing how such a process can be supported by tools. We introduce a way to compare the interface specification of components automatically against the code. Furthermore, we demonstrate how compositions of components can be specified by logical formulas, allowing us to automatically validate these compositions.
منابع مشابه
Towards Validation of E-Services Composition: Transforming eFlow to Petri-Nets
Web services composition is the ability to integrate existing services to have value added services. Workflow-based services composition is one of the approaches proposed. eFlow is one of the Workflow-based service composition approaches. The approach is strong in providing a platform for adaptive and dynamic web services composition. However, it neglects the validation of the Quality of Servic...
متن کاملA Validation Method Adapted to Dynamic Service Composition
The dynamic composition of services as visioned in a Plug-and Play approach requires new design and validation methods. We propose a service design based on the concept of roles. The feature of composite state newly introduced in SDL 2000 is used to model roles and their composition. We introduce a validation approach tightly integrated with the composition of roles. The approach takes advantag...
متن کاملValidating Protocol Composition for Progress byParallel
In this paper, we propose a parallel step exploration technique for protocol validation in the context of protocol composition. A protocol is modeled as a network of extended communicating nite state machines (ECFSM's). A composite protocol is deened as an interleaved execution of a set of component protocols subject to a set of constraints such as synchronization, ordering and inhibition. By e...
متن کاملTowards PaP Services: Design and Validation Issues
The dynamic composition of services as visioned in a Plug-and Play approach requires new design and validation methods. We propose a service design based on the concept of roles. The feature of composite state newly introduced in SDL 2000 is used to model roles and their composition. We introduce a validation approach tightly integrated with the composition of roles. The approach takes advantag...
متن کاملExperimental Setup and Models Validation
................................................................................................4.1 4.1 EXPERIMENTAL SETUP......................................................................4.2 4.2 AUTOMATED REACTORS...................................................................4.3 4.2.1 One Litre Reactor........................................................................................
متن کاملComposable Simulation Models and Their Formal Validation
In component-based modeling and simulation, shared models are reused and assembled in various combinations to meet different user requirements, resulting in an appealing approach to reduce the time and cost of developing complex simulations. Towards achieving this goal, there are several challenges including the lack of methodologies and techniques to support the life-cycle of component-based d...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2011